A Scenario-Driven Approach to Model-Based Testing

Tools for Model-Based Testing (MBT) use various algorithms and strategies to generate tests from a behavioral model of the IUT. Existing MBT tools are based on formal, typically state-based, specification languages. In state-of-theart MBT tools, which we briefly review, executable tests are generated. But these tests are not directly traceable to an actual implementation-under-test (IUT). Instead, they are generally executable in a global space of states. As an alternative approach, we explore here a scenario-driven approach to MBT. Its key characteristic consists in allowing IUT-independent tests generated from scenarios to be transformed into test cases that can run on an actual IUT. A fully implemented framework that supports the automatic instrumentation of such test cases into an IUT, as well as their run-time monitoring is discussed. Keywordsmodel-based testing, state-based models, scenariobased models, test case generation, executability